🔗 Unification Algorithms - abnv · Scour

Unification of Deterministic Higher-Order Patterns

arxiv.org·1d

🔗Unification

Patterns All the Way Down: A Generalization for Graph-Like Things

medium.com·13h·

Discuss: Hacker News

🪢Rope Data Structures

Making a Language

thunderseethe.dev·7h

🔬programming language theory

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·47m

🧩Constraint Solvers

**Abstract:** This paper introduces a novel approach to compositional resolution within constructive arithmetic, termed Syntactic Resonance Networks (SRN). A...

freederia.com·2d

🧮Theorem Provers

Dealing with alternatives

jemarch.net·1d

🔢Binary Formats

Union-Find Path Compression: A Visual Dry Run

dev.to·1d·

Discuss: DEV

📐Succinct Data Structures

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🧮Theorem Provers

GNU C Language Manual

gnu.org·10h

🪄C Metaprogramming

Binary Algorithms

exystence.net·1d

📡Binary Protocols

Subterms Modulo Theories I

philipzucker.com·3d

🔗Lexical Scoping

Postmortem on TreeTracker Join: Simple, Optimal, Fast

zhu45.org·1d·

Discuss: Hacker News

🌳Tree Algorithms

From logical reasoning to code in C and PHP

dev.to·18h·

Discuss: DEV

Excellence and Impact Recognized by World's Preeminent Computing Society

prnewswire.com·11h

🗺️Region Inference

Rust async combinators for elegant and secure concurrency

kerkour.com·23h·

Discuss: r/rust

🪆Embedded DSLs

abelianization of an additive category in nLab

ncatlab.org·13h

🔗Category Theory

LLMs - What are they good for, anyway?

xkcd.com·1d·

Discuss: DEV

🔍ML Language

Kolmogorov Complexity

en.wikipedia.org·17h·

Discuss: Hacker News

λLambda Calculus

From 75% to 99.6%: The Math of LLM Ensembles

shibaprasadb.com·21h·

Discuss: Hacker News

🔍ML Language

Colloquium : Qudits for decomposing multiqubit gates and realizing quantum algorithms

link.aps.org·23h

🎯Bit-Vector Algorithms

Loading more...